xen/tasklet: Switch data parameter from unsigned long to void *.
authorAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 26 Apr 2019 15:53:27 +0000 (16:53 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 27 Dec 2019 17:18:57 +0000 (17:18 +0000)
commit3a13ac3ad4d3ef399fe2c85fb09fcb7ab1cdd140
tree1390840f1af49a7fcab6f969fd6e94e7983916ea
parent08aa26349a5262563f0b8f69b08a67e2c4999410
xen/tasklet: Switch data parameter from unsigned long to void *.

Most users pass a vcpu pointer, and only stopmachine_action() takes an integer
parameter.  Switch to using void * to substantially reduce the number of
explicit casts.

No functional change.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Julien Grall <julien@xen.org>
Acked-by: Jan Beulich <jbeulich@suse.com>
15 files changed:
xen/arch/x86/hvm/hvm.c
xen/arch/x86/hvm/vlapic.c
xen/arch/x86/mm/shadow/common.c
xen/common/domain.c
xen/common/keyhandler.c
xen/common/stop_machine.c
xen/common/tasklet.c
xen/common/trace.c
xen/drivers/char/console.c
xen/drivers/passthrough/amd/iommu_guest.c
xen/drivers/passthrough/amd/iommu_init.c
xen/drivers/passthrough/iommu.c
xen/drivers/passthrough/vtd/iommu.c
xen/include/asm-x86/shadow.h
xen/include/xen/tasklet.h